<html>
<body>
Replaces a shortened type on the right-hand side of <code>as</code>/<code>as?</code>/<code>is</code>/<code>!is</code> by its complete version.
</body>
</html>